منابع مشابه
Standard ML as a Meta-Programming Language
Meta-programming languages, or program generators, are languages whose programs produce programs in other languages. We show how Standard ML makes an excellent meta-programming language, by adding appropriate program-valued | by which we mean string-valued | operations for each domain. We do so by giving four examples of meta-programming languages: a top-down parser generator; a \geometric regi...
متن کاملReeections on Standard Ml
Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for serious systems and applications programming. It ooers an excellent ratio of expressiveness to language complexity, and provides competitive eeciency. Because of its type and module system, Standard ML manages to combine safety, security, and robustness with much of the exib...
متن کاملReflections on Standard ML
Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for serious systems and applications programming. It offers an excellent ratio of expressiveness to language complexity, and provides competitive efficiency. Because of its type and module system, Standard ML manages to combine safety, security, and robustness with much of the f...
متن کاملCommentary on standard ML
∗I generated this file on October 12, 2002, from a back-up dated May 2, 1991, since no original dvi file was available in the back-up. I had to change two occurrences of >From to From in the source files (apparently corruption caused by a mail program). Furthermore, I had to edit the tex files to force page breaks on pages 43, 99, 100, 111, 120, 130, 137 and 138 to be as in the printed version....
متن کاملA Standard ML compiler
Standard ML is a major revision of earlier dialects of the functional language ML. We describe the first compiler written for Standard ML in Standard ML. The compiler incorporates a number of novel features and techniques, and is probably the largest system written to date in Standard ML. Great attention was paid to modularity in the construction of the compiler, leading to a successful large-s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scholarpedia
سال: 2009
ISSN: 1941-6016
DOI: 10.4249/scholarpedia.7515